логические символы

логические символы

 

логические символы
 —
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • logic symbols


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "логические символы" в других словарях:

  • ЛОГИЧЕСКИЕ СВЯЗКИ —     ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… …   Философская энциклопедия

  • ЛОГИЧЕСКИЕ СХЕМЫ — физ. устройства, реализующие функции матем. логики. Л. с. подразделяют на 2 класса: комбинационные схемы (Л. с. без памяти) и послед овател ьностные схемы (Л. с. с памятью). Л. с. являются основой любых систем (различных назначений и физ.… …   Физическая энциклопедия

  • логические константы — (Логические постоянные) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не , и , или , есть …   Словарь терминов логики

  • символы собственные и несобственные — символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. с. имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты …   Словарь терминов логики

  • Тогда и только тогда — Запрос «If and only if» перенаправляется сюда; другие значения см. IFF (значения). ↔ ⇔ ≡ Логические символы, изобра жающие тогда и только тогда. В логике и смежных с ней областях, таких как математика и философия, тогда и только тогда является… …   Википедия

  • формализованный язык —         ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… …   Энциклопедия эпистемологии и философии науки

  • ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …   Словарь-справочник терминов нормативно-технической документации

  • СТАНДАРТНАЯ КОНЦЕПЦИЯ НАУКИ —     СТАНДАРТНАЯ КОНЦЕПЦИЯ НАУКИ форма логико методологического анализа естественнонаучных теорий, разработанная под значительным влиянием неопозитивистской философии науки. В рамках стандартной концепции науки свойства теории (трактуемой как… …   Философская энциклопедия

  • СТАНДАРТНАЯ КОНЦЕПЦИЯ НАУКИ – — форма логико методологического анализа естественнонаучных теорий, разработанная под значительным влиянием неопозитивистской философии науки. В рамках стандартной концепции науки свойства теории (трактуемой как множество научно осмысленных… …   Философская энциклопедия

  • формализация — (< форма наружность, вид) В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования; способы исследования,… …   Словарь лингвистических терминов Т.В. Жеребило


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»